Static testing - PDFSEARCH.IO - Document Search Engine

Static testing
Results: 194

#	Item
141	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
142	FULL-SCALE STRUCTURAL TEST LAB The Full-Scale Structural Testing Lab assesses the structural performance and durability of commercial and military aircraft by performing full-scale and component testing (static, durabili Add to Reading List Source URL: www.niar.twsu.edu Language: English - Date: 2013-10-02 11:53:06 Gulfstream G650 Science White-box testing Reliability engineering Engineering Systems engineering Flight test Software testing Materials science Boeing 787 Dreamliner
143	FULL-SCALE STRUCTURAL TEST LAB The Full-Scale Structural Testing Lab assesses the structural performance and durability of commercial and military aircraft by performing full-scale and component testing (static, durabili Add to Reading List Source URL: www.niar.wichita.edu Language: English - Date: 2013-10-02 11:53:06 Gulfstream G650 Science White-box testing Reliability engineering Engineering Systems engineering Flight test Software testing Materials science Boeing 787 Dreamliner
144	NC DAQ Source Test Observers Checklist - Particulate Testing EPA Methods[removed]CFR 60 Appendix A) Line by line explanation and references. This checklist is not intended to replace familiarity with the reference test Add to Reading List Source URL: daq.state.nc.us Language: English - Date: 2001-10-29 14:23:40 Aircraft instruments Engineering Fluid dynamics Metrology Aerodynamics Pitot tube Pressure measurement Static pressure Stack Measurement Measuring instruments Technology
145	Canonical Driver Test Suite What is Canonical Driver Test Suite? ● Custom tools for delivering a set of tests to OEMs, ODMs, and IHVs for use on prototype hardware and drivers. ● Flexible GUI based testing framewor Add to Reading List Source URL: certification-static.canonical.com Language: English - Date: 2014-07-16 16:28:49 Regression testing Computer architecture Software Ubuntu
146 $Analog-to-digital converter / Integral nonlinearity / LTX / Differential nonlinearity / Static testing / David / Technology / Nevi\'im / Bible / Digital signal processing / Electronic circuits / Digital-to-analog converter$	P1658 Digital to Analog Standard Meeting, October 16, 2007 Hosted by LTX Corporation, Norwood, MA Modified: 7-November-2007 Attendees: Steve Tilden, Texas Instruments (Chair) Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2007-11-07 21:08:21 Analog-to-digital converter Integral nonlinearity LTX Differential nonlinearity Static testing David Technology Nevi\'im Bible Digital signal processing Electronic circuits Digital-to-analog converter
147	TOP3–[removed]Structural Static Laboratory (SSL) Technology Commercial Applications Add to Reading List Source URL: facilities.grc.nasa.gov Language: English - Date: 2007-03-20 08:31:35 Deformation Elasticity Building engineering Structural engineering Strength of materials Fatigue Adhesive Load testing Creep Materials science Mechanics Tests
148	Background Fire planning is evolving in the federal fire agencies. Agencies are looking to move away from static plans that are hundreds of pages long. The Department of Interior agencies have been testing Spatial Fire M Add to Reading List Source URL: wfdss.usgs.gov Language: English - Date: 2013-02-21 14:41:22 Project management Systems engineering Thought Mind Business Neuropsychology Management Neuropsychological assessment Planning
149	Kestrel Technology The Next Generation Tool for Static Code Analysis: Proving the Absence of Critical Vulnerabilities in C Source Code The Company Kestrel Technology (KT) specializes in sound semantic static analysis wit Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2014-09-26 13:23:09 Software quality Software testing Computer network security Program analysis Hacking Vulnerability Application security Static program analysis Buffer overflow Cyberwarfare Software bugs Computer security
150	Coverity Case Study Frequentis Frequentis Standardizes on Coverity® Static Analysis for Development Testing Business Overview and Challenge Add to Reading List Source URL: www.coverity.com Language: English - Date: 2013-12-30 12:14:56 Coverity Computing Software review Science Frequentis Software development process Software quality Code review ISO Source code Quality management Software engineering

UPDATE